#include <stdint.h>

int add(int32_t x, int32_t y) {
    return x + y;
}